home *** CD-ROM | disk | FTP | other *** search
/ Language/OS - Multiplatform Resource Library / LANGUAGE OS.iso / b / b.lha / B / Makefile.gen < prev    next >
Makefile  |  1988-11-24  |  1KB  |  59 lines
  1. # Copyright (c) Stichting Mathematisch Centrum, Amsterdam, 1984, 1985.
  2. #
  3. # bootstrap Mark 1 implementation of B.
  4.  
  5. # Filled in by ./Setup:
  6. # for public installation, e.g. outside the B root directory (make install):
  7. # public place for 'b' command
  8. BDIR=
  9. # public place for 'b.1' manual
  10. MAN1DIR=
  11. # public place for 'bterminal.5' manual
  12. MAN5DIR=
  13. # public place for auxiliary files needed by 'b'
  14. LIBDIR=
  15. # BINT determines B interpreter used
  16. BINT=
  17.  
  18. default:    all
  19.  
  20. # put everything in ./bin and ./lib:
  21. all:
  22.     cd src/b; make install
  23.     cd src/bed; make install
  24.     cd src/$(BINT); make install
  25.     cd src/libbed; make install
  26.     @ch_all "$(BINT)"
  27.  
  28. examples: bin/b
  29.     @cd ex; make examples
  30.     @echo ""
  31.     @echo "If all went well, try the B editor in ./ex/try."
  32.  
  33. # install everything in public places:
  34. install: $(BDIR) $(MAN1DIR) $(MAN5DIR) $(LIBDIR)
  35.     cd src/b; make BDEST=$(BDIR) LDEST=$(LIBDIR) install
  36.     cd src/bed; make DEST=$(LIBDIR) install
  37.     cd src/$(BINT); make DEST=$(LIBDIR) install
  38.     cd src/libbed; make DEST=$(LIBDIR) install
  39.     cd man; make DEST1=$(MAN1DIR) DEST5=$(MAN5DIR) install
  40.     @ch_install "$(BINT)" "$(BDIR)" "$(MAN1DIR)" "$(MAN5DIR)" "$(LIBDIR)" 
  41.  
  42.  
  43. clean:
  44.     cd src/b; make clean
  45.     cd src/bed; make clean
  46.     cd src/$(BINT); make clean
  47.     cd src/libtermcap; make clean
  48.     cd ex; make clean
  49.     @ch_clean "$(BDIR)"
  50.  
  51. cleanall:
  52.     cd bin; rm -f *
  53.     cd lib; rm -f * .Bed*
  54.  
  55. print:
  56.     @echo "To print the source; see ./src"
  57.     @echo "To print the manual pages; see ./man"
  58.     @echo "To print the documents; see ./doc"
  59.